Discover gists

## gist:3ca47eba20b9cdadd562a2d8ec1cb1c2
#!/bin/bash

dep(){
	sudo apt install mkvtoolnix iconv
}

convertToMkv(){
	INPUT_FILE=$1
	SRT_FILE=$2
	OUTPUT_FILE=$3

## quark-pan-download-without-account.md

      
              1 file
            
          
              4 forks
            
          
                2 comments
              
            
              5 stars
            
          
                myheart111
                / quark-pan-download-without-account.md
            
            
              Created
              October 24, 2026 12:39
            
              
                How to download from Quark Pan (pan.quark.cn / 夸克网盘) without an account or a Chinese phone number (2026)
              
          
    How to download from Quark Pan (pan.quark.cn / 夸克网盘) without an account or a Chinese phone number (2026)

✅ Working method (October 2026): baidufast.com

Paste the pan.quark.cn/s/… link (and its code, if any) → see the real size and price → get a direct download link. No Quark account, no +86 number, no Quark app. Files under 150 MB are free. Or post your link in the comments and I'll fetch it for you.
Full disclosure: BaiduFast is my own service. It fetches the file for you at full speed and hands you a plain HTTPS link. This page is a how-to, not an independent review.
Why pan.quark.cn won't download for you


## CompleteDiscordQuest.md

      
              1 file
            
          
              1020 forks
            
          
              8080 stars
            
          
                aamiaa
                / CompleteDiscordQuest.md
            
            
              Last active
              October 31, 2026 19:41
            
              
                Complete Recent Discord Quest
              
          
    Caution
As of August 26th 2026, Discord has started suspending quest access of people caught automating quest completion.
Some users have received the following system message:

There isn't much I can do to make the script undetected, so use it at your own risk, as you WILL get flagged by doing so.

Complete Recent Discord Quest


## GoogleDorking.md

      
              1 file
            
          
              690 forks
            
          
                142 comments
              
            
              2795 stars
            
          
                sundowndev
                / GoogleDorking.md
            
            
              Last active
              October 31, 2026 19:35
            
              
                Google dork cheatsheet
              
          
    Google dork cheatsheet

Search filters


Filter
Description
Example


allintext
Searches for occurrences of all the keywords given.
allintext:"keyword"


intext
Searches for the occurrences of keywords all at once or one at a time.
intext:"keyword"


inurl
Searches for a URL matching one of the keywords.
inurl:"keyword"


allinurl
Searches for a URL matching all the keywords in the query.
allinurl:"keyword"


intitle
Searches for occurrences of keywords in title all or one.
intitle:"keyword"


## gate-cse-study-material.md

      
              1 file
            
          
              27 forks
            
          
                11 comments
              
            
              117 stars
            
          
                Alimammiya
                / gate-cse-study-material.md
            
            
              Last active
              October 31, 2026 19:34
            
              
                Free GATE CSE Study Material for 2027 Aspirants: Download Subject wise Notes & PYQs
              
          
    Free GATE CSE Study Material for 2027 Aspirants: Download Subject wise Notes & PYQs

Welcome to the comprehensive, community-driven resource repository for GATE Computer Science & Information Technology (CS & IT) 2027 aspirants. Securing a top rank in the Graduate Aptitude Test in Engineering (GATE) unlocks direct admissions to premier postgraduate programs (M.Tech/Ph.D.) at IITs, NITs, and IISc, alongside prestigious technical roles within leading PSUs.
This repository serves as a centralized documentation hub compiled from authoritative open-source archives, topper strategies, and verified learning pathways for your GATE CSE study material search.

Table of Contents


Core Syllabus Structure & Weightage Analysis


## tmux.md

      
              1 file
            
          
              754 forks
            
          
                44 comments
              
            
              3571 stars
            
          
                andreyvit
                / tmux.md
            
            
              Created
              June 13, 2012 03:41
            
              
                tmux cheatsheet
              
          
    tmux cheat sheet

(C-x means ctrl+x, M-x means alt+x)
Prefix key

The default prefix is C-b. If you (or your muscle memory) prefer C-a, you need to add this to ~/.tmux.conf:
remap prefix to Control + a


## tmux-cheatsheet.markdown

      
              1 file
            
          
              3320 forks
            
          
                967 comments
              
            
              14781 stars
            
          
                MohamedAlaa
                / tmux-cheatsheet.markdown
            
            
              Last active
              October 31, 2026 19:31
            
              
                tmux shortcuts & cheatsheet
              
          
    tmux shortcuts & cheatsheet

start new:
tmux

start new with session name:
tmux new -s myname


## swap.md

      
              1 file
            
          
              4 forks
            
          
                11 comments
              
            
              25 stars
            
          
                joshenders
                / swap.md
            
            
              Last active
              October 31, 2026 19:29
            
              
                Stop making swap partitions
              
          
    Stop making swap partitions—use swap files instead!

Swap files have had the same performance characteristics as swap partitions for more than 20 years and yet, linux distributions continue to encourage the use of swap partitions during install.
Swap files are easier to use/add/remove/modify/extend after installation. They're better in every way––use swap files!

Create and format the swap file.

mkswap --size 4G --file /swapfile

  
## gist:275f7db8139d46fef4d872aba0b3706f
# CLAUDE.md: Lean verification for Vibecheck hackathon

## 1. Approaches

- **Write the program in Lean and prove it there.** Nothing to translate, nothing extra to trust.
- **Write it in a Lean DSL with a verified compiler.** Prove properties at the DSL level; the compiler's correctness proof carries them to the target.
- **Translate existing code (C, Rust, ...) into Lean.** Tools usually translate a compiler IR, not source text. You trust the translation and the compiler below that IR, and only the supported subset of the language works.
- **Verify the binary.** The compiler is out of the trusted base; you trust the ISA model instead. Proofs need a way to reason above single instructions: a program logic for machine code, or disassembling and lifting the code into a higher-level form and proving things about that.

## 2. Toolchain and versions
	#!/bin/bash

	dep(){
	sudo apt install mkvtoolnix iconv
	}

	convertToMkv(){
	INPUT_FILE=$1
	SRT_FILE=$2
	OUTPUT_FILE=$3
Filter	Description	Example
allintext	Searches for occurrences of all the keywords given.	`allintext:"keyword"`
intext	Searches for the occurrences of keywords all at once or one at a time.	`intext:"keyword"`
inurl	Searches for a URL matching one of the keywords.	`inurl:"keyword"`
allinurl	Searches for a URL matching all the keywords in the query.	`allinurl:"keyword"`
intitle	Searches for occurrences of keywords in title all or one.	`intitle:"keyword"`
	# CLAUDE.md: Lean verification for Vibecheck hackathon

	## 1. Approaches

	- Write the program in Lean and prove it there. Nothing to translate, nothing extra to trust.
	- Write it in a Lean DSL with a verified compiler. Prove properties at the DSL level; the compiler's correctness proof carries them to the target.
	- Translate existing code (C, Rust, ...) into Lean. Tools usually translate a compiler IR, not source text. You trust the translation and the compiler below that IR, and only the supported subset of the language works.
	- Verify the binary. The compiler is out of the trusted base; you trust the ISA model instead. Proofs need a way to reason above single instructions: a program logic for machine code, or disassembling and lifting the code into a higher-level form and proving things about that.

	## 2. Toolchain and versions